#include "boot_param.h"

union boot_params boot_params_stash __attribute__((section(".data")));
